Feeds to Scour
SubscribedAll
Scoured 256204 posts in 2.69 s
The Origins and Motivations of Univalent Foundations | Ideas
ias.edu·7h
🏗️Calculus of Constructions
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.io·6h·
Discuss: Hacker News
🔍ML Language
Preview
Report Post
Algebraic Topology 1: Homotopy Equivalence
youtube.com·12h
🔗Category Theory
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming, r/rust
🔗Lexical Scoping
Preview
Report Post
Pokémon Team Optimization
nchagnet.pages.dev·2d·
Discuss: Hacker News
🧩Constraint Solvers
Preview
Report Post
Unknown Knowns: Five Ideas You Can't Unsee
linch.substack.com·1d·
Discuss: Substack
💫Effect Systems
Preview
Report Post
Mathematical universe hypothesis
en.wikipedia.org·15h
🔗Concatenative Theory
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.to·1d·
Discuss: DEV
🎯Type Theory
Preview
Report Post
Rust Traits Design Trade-offs
paulefou.com·1d
🪆Embedded DSLs
Preview
Report Post
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.edu·1d
🪄C Metaprogramming
Preview
Report Post
GHC 9.12.3 is now available
haskell.org·1d
📏Linear Haskell
Preview
Report Post
Klein bottle: from intuition to rigor
johndcook.com·16h
🔗Concatenative Theory
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
📊Datalog Engines
Preview
Report Post
On Factoring and Power Divisor Problems via Rank-3 Lattices and the Second Vector
arxiv.org·4d
🔶Lattice Theory
Preview
Report Post
unintentional type theory in nLab
ncatlab.org·3d·
Discuss: Hacker News
🎯Type Theory
Preview
Report Post
RCX Codex v1.0: A pre-axiomatic framework for recursive structure and paradox
zenodo.org·4d·
Discuss: Hacker News
💫Effect Systems
Preview
Report Post
Derivates for Containers in Univalent Foundations
arxiv.org·5d
🏗️Calculus of Constructions
Preview
Report Post
An introduction to modular induction and some attempts to solve it
lesswrong.com·4d
🔍Type Inference
Preview
Report Post
An Inequality Union Find Inspired by Atomic Asymmetric Completion
philipzucker.com·6d
🔗Unification Algorithms
Preview
Report Post
Issue 504
haskellweekly.news·2d
⚡functional programming
Preview
Report Post